Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
431	Note to other teachers and users of these slides. Andrew would be delighted if you found this source material useful in giving your own lectures. Feel free to use these slides verbatim, or to modify them to fit your own Add to Reading List Source URL: www.autonlab.org Language: English - Date: 2008-07-07 16:16:22 Numerical software Boolean algebra CDC software COMPASS/Sample Code
432	Overview Modelling Algorithmic Verification Comp4151 Lecture 5-A Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:08 Binary decision diagram Model checking Artificial neuron Theoretical computer science Applied mathematics Assembly languages Propositional directed acyclic graph COMPASS/Sample Code Boolean algebra Diagrams Mathematics
433	Category Theory for Dummies (I) James Cheney Programming Languages Discussion Group Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-10-30 05:46:14 Linear algebra Model theory Abstract algebra Boolean algebra Vector space Continuous function Structure Tychonoff space Orbifold Algebra Mathematics Mathematical structures
434	LogiCell Jean-Philippe Rennard, Ph.D., [removed]LogiCell 1.0 We have seen in Introduction to CA that the Game of Life has Universal computation capabilities. Add to Reading List Source URL: www.rennard.org Language: English - Date: 2014-07-28 10:11:15 Mathematical logic Propositional calculus Logical connectives Binary operations Algebraic logic Exclusive or Truth table Logical disjunction Boolean data type Abstract algebra Mathematics Boolean algebra
435	Sunday 10th January[removed]The Big Letters Program (Part 1) Copies a message on an EDSAC tape into memory a line at a time and then prints each line in big letters on the teleprinter. All lines are terminated by a line-f Add to Reading List Source URL: www.dcs.warwick.ac.uk Language: English - Date: 2000-07-05 11:01:21 Semantics Truth table Hardy space Character encoding Character sets Boolean algebra
436	THE ART OF COMPUTER PROGRAMMING VOLUME 4 PRE-FASCICLE 0C Add to Reading List Source URL: www.antiquark.com Language: English - Date: 2006-03-28 21:47:35 Boolean algebra COMPASS/Sample Code Maths24
437	Operator-Theoretic Identification of Closed SubSystems of Dynamical Systems Oliver Pfante Nihat Ay SFI WORKING PAPER: [removed] Add to Reading List Source URL: www.santafe.edu Language: English - Date: 2015-02-09 11:42:31 Operator theory Spectral theory Boolean algebra Probability theory Sigma-algebra Support Lp space Ergodic theory Bounded operator Mathematical analysis Mathematics Measure theory
438	Rennard Implementation of Logical Functions in the Game of Life Jean-Philippe Rennard [removed] Add to Reading List Source URL: www.rennard.org Language: English - Date: 2014-07-28 10:11:03 Logic gates Gun Speed of light Cellular automaton Spaceship AND gate Boolean algebra Cellular automata Mathematics Glider
439	The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich, Robert T. Morris, and Eddie Kohler† MIT CSAIL and † Harvard University Add to Reading List Source URL: pdos.csail.mit.edu Language: English - Date: 2015-03-27 16:16:57 Mathematics Software engineering Concurrent computing Application programming interfaces Commutative property Symmetry Boolean algebra POSIX Lock Computing Concurrency control Transaction processing

UPDATE